1161. Supercomputing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Grands ordinateurs -- Congrès.,Supercomputers -- Congresses.,Supercomputers.

رده :
QA76
.
88
J566
1991

1162. Supercomputing frontiers :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Supercomputers, Congresses.,Supercomputers.

رده :
QA76
.
88

1163. System analysis and modeling:

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer Communication Networks -- Congresses.,Computer science -- Congresses.,Information systems -- Congresses.

1164. System analysis and modeling :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.

رده :
QA402
.
S26
2018

1165. System level design from HW/SW to memory for embedded systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Embedded computer systems, Congresses.,Computer hardware.,Computers-- Expert Systems.,Computers-- Hardware-- General.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Embedded computer systems.,Expert systems-- knowledge-based systems.,Software Engineering.,Systems analysis & design.

رده :
TK7895
.
E42

1166. System specification and design languages

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses

رده :
TK7885
.
7
.
F35
2012

1167. System specification and design languages

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses

رده :
TK7885
.
7
.
F35
2010eb

1168. Systems Implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000 : Languages, Methods and Tools 23-26 February 1998, Berlin, Germany

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Software engineering - Congresses , Computer software - Development - Congresses

رده :
QA
76
.
758
.
I35
1998

1169. Systems, Software and Services process Improvement.

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering.,Computer software -- Development -- Congresses.,Computer software -- Quality control -- Congresses,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار ,نرم‌افزار -- تولید -- کنگره ها ,نرم افزار -- ک‍ن‍ت‍رل‌ ک‍ی‍ف‍ی‍ت -- کنگره ها‌

رده :
QA
76
.
76
.
S968
2015
E-Book
,

1170. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity

رده :
QA
76
.
L28
Vol
.
668

1171. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity

رده :
QA
76
.
L28
Vol
.
249-250

1172. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(

رده :
QA
76
.
L4
v
.
249

1173. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
351-352

1174. TAPSOFT 91 : proceedings of the international joint conference on theory and practice of software development, Brighton, UK, April 8-12, 1991

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity

رده :
QA
76
.
L28
Vol
.
493-494

1175. TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer software-- Development-- Congresses

رده :
QA
76
.
76
.
D47
.
I58
1993

1176. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity

رده :
QA
76
.
L28
Vol
.
1214

1177. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses

رده :
QA
76
.
76
.
D47
I57
1985

1178. Tapsoft, 91 Proceedings of the internation Join Conference on Theory and Practice of Software Development

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Computer Software - Developmenyt - Congresses,، Software - engineering - Congresses

رده :
QA
76
.
76
.
D47
I57A
1991

1179. Task models and diagrams for user interface design

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Human-computer interaction, Congresses,User interfaces (Computer systems), Congresses,User interfaces (Computer systems), Design, Congresses,Task analysis, Congresses,Benutzeroberfleache., swd,Diagrammatisches Schliessen., swd,Kontextbezogenes System., swd,Mensch-Maschine-Kommunikation., swd,Modellgetriebene Entwicklung., swd,Prozessmanagement., swd,Task., swd,UML., swd,Breussel (2009), swd,Kongress., swd

1180. Technical and geoinformational systems in mining

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Geographic information systems, Congresses.,Mines and mineral resources, Congresses.,Mining engineering, Congresses.,Mines and mineral resources.,Mining engineering.,TECHNOLOGY & ENGINEERING-- Mining.